Situation calculus - PDFSEARCH.IO - Document Search Engine

Situation calculus
Results: 55

#	Item
11	Journal of Intelligent Information Systems, 19:2, 231–259, 2002 c 2002 Kluwer Academic Publishers. Manufactured in The Netherlands. Hypothetical Temporal Reasoning in Databases∗ MARCELO ARENAS† Add to Reading List Source URL: web.ing.puc.cl Language: English - Date: 2013-04-26 05:57:02 Logical syntax Metalogic Model theory Formal languages First-order logic Situation calculus Frame problem Function Entailment Logic Mathematics Logic programming
12	Right-of-Way Rules as Use Case for Integrating GOLOG and Qualitative Reasoning Florian Pommerening, Stefan W¨ olﬂ, and Matthias Westphal Department of Computer Science, University of Freiburg, Georges-K¨ Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-05-22 08:12:25 Science Spatial–temporal reasoning Situation calculus Scenario Qualitative reasoning Reason Dynamical system Economic model Reasoning Cognition Mind
13	Authors’ preprint. The final publication is available at www.springerlink.com. (http://www.springerlink.com/content/w01w784704364806/) P LATAS – Integrating Planning and the Action Language Golog Jens Claßen · Gabr Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-01-07 17:29:29 Mathematics Situation calculus Theoretical computer science Formal languages STRIPS Planning Domain Definition Language Frame problem Combinatory logic Action language Artificial intelligence Automated planning and scheduling Logic programming
14	Combining Narratives John McCarthy Computer Science Department Stanford University Stanford, CA 94305 Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:17:15 Theoretical computer science Logic in computer science Knowledge representation Human spaceflight Situation calculus S0 Event calculus Fluent Entailment Spaceflight Logic Logic programming
15	Property Persistence in the Situation Calculus Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2009-01-04 08:03:51
16	Situation Calculus-based Programs for Representing and Reasoning about Game Structures Giuseppe De Giacomo Yves Lesp´erance Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2010-05-25 00:13:18 Symbol Function Abstraction
17	Complex Epistemic Modalities in the Situation Calculus Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2009-01-04 08:03:51 Logic programming Artificial intelligence Situation calculus Epistemic modal logic Modal logic Function Common knowledge Symbol Frame problem Logic Mathematical logic Mathematics
18	ASYNCHRONOUS MULTI-AGENT REASONING IN THE SITUATION CALCULUS Ryan Francis Kelly Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2009-03-12 20:13:19 Knowledge Multi-agent systems Artificial intelligence Reasoning Logic programming Situation calculus Common knowledge Intelligent agent Modal logic Science Logic Scientific modeling
19	An Argumentation-Based Interpreter for Golog Programs Add to Reading List Source URL: ijcai.org Language: English - Date: 2009-06-22 08:17:25 Situation calculus Preference Argumentation theory Rational choice theory Science Golog Tibetan Autonomous Prefecture Critical thinking Thought Logic programming Consumer theory Logic
20	Transforming Situation Calculus Action Theories for Optimised Reasoning Christopher Ewin Adrian R. Pearce Stavros Vassos Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2014-03-04 23:18:30 Logic programming Metalogic Knowledge representation Logic in computer science Situation calculus Frame problem Interpretation Fluent Constructible universe Mathematical logic Logic Model theory